3

A fast algorithm and datalog inexpressibility for temporal reasoning

Year:
2010
Language:
english
File:
PDF, 274 KB
english, 2010
20

Noncrossing Hamiltonian paths in geometric graphs

Year:
2007
Language:
english
File:
PDF, 287 KB
english, 2007
21

Prologue

Year:
1994
Language:
english
File:
PDF, 73 KB
english, 1994
22

Free binary decision diagrams for the computation of EARn

Year:
2006
Language:
english
File:
PDF, 225 KB
english, 2006
23

The Complexity of Equality Constraint Languages

Year:
2008
Language:
english
File:
PDF, 418 KB
english, 2008
25

Maximal infinite-valued constraint languages

Year:
2009
Language:
english
File:
PDF, 639 KB
english, 2009
34

The complexity of surjective homomorphism problems—a survey

Year:
2012
Language:
english
File:
PDF, 285 KB
english, 2012